
\$101 -> (\$40 -> ((\$3 -> N $3) (S $40))) (S $101)


\x -> S x


\y -> (\x -> S x) (S y)


